منابع مشابه
Exchange lemmas 2 : General Exchange Lemma ✩
Exchange lemmas are used in geometric singular perturbation theory to track flows near normally hyperbolic invariant manifolds. We prove a General Exchange Lemma, and show that it implies versions of existing exchange lemmas for rectifiable slow flows and loss-of-stability turning points. © 2007 Elsevier Inc. All rights reserved. MSC: 34E15; 34C30
متن کاملExchange lemmas 1 : Deng ’ s lemma ✩
Deng’s lemma gives estimates on the behavior of solutions of ordinary differential equations in the neighborhood of a partially hyperbolic equilibrium. We prove a generalization in which “partially hyperbolic equilibrium” is replaced by “normally hyperbolic invariant manifold.” © 2007 Elsevier Inc. All rights reserved. MSC: 34E15; 34B15; 34C30
متن کاملAuxiliary Lemmas : Proof of Lemma 3
Supplementary Material 6 Auxiliary Lemmas: Proof of Lemma 3 Proof. We can rewrite (6) as an optimization problem over the ℓ 1 /ℓ 2 ball of radius C for some C(λ n) < ∞. 1,2 = C for all optimal primal solution Θ \r. By definition of the ℓ 1 /ℓ 2 subdifferential, we know that for any column u ∈ V \{r}, we have (ˆ Z \r) u 2 ≤ 1. Considering the necessary optimality condition ∇ℓ (ˆ Θ \r) + λ n ˆ Z ...
متن کاملGENERAL SCALAR EXCHANGE IN AdS
The scalar field exchange diagram for the correlation function of four scalar operators is evaluated in anti-de Sitter space, AdSd+1. The conformal dimensions ∆i, i = 1, . . . , 4 of the scalar operators and the dimension ∆ of the exchanged field are arbitrary, constrained only to obey the unitarity bound. Techniques similar to those developed earlier for gauge boson exchange are used, but resu...
متن کاملPaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications
We present PaSAT, a parallel implementation of a Davis-Putnam-style propositional satisfiability checker incorporating dynamic search space partitioning, intelligent backjumping, as well as lemma generation and exchange; the main focus of our implementation is on speeding up SAT-checking of propositional encodings of real-world combinatorial problems. We investigate and analyze the speed-ups ob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Differential Equations
سال: 2008
ISSN: 0022-0396
DOI: 10.1016/j.jde.2007.10.021